Computational complexity theory - PDFSEARCH.IO - Document Search Engine

Computational complexity theory
Results: 2049

#	Item
591	Potential and Challenges of Two-VariablePer-Inequality Sub-Polyhedral Compilation Ramakrishna Upadrasta Albert Cohen INRIA and LRI, Paris-Sud 11 University Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2011-03-29 07:21:24 Operations research Computational complexity theory Convex optimization Linear programming Polyhedron Mathematical optimization Approximation algorithm Simplex algorithm Algorithm Theoretical computer science Applied mathematics Mathematics
592	CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Convex Hull of the Union of Convex Objects in the Plane: an Adaptive Analysis J´er´emy Barbay∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-29 00:05:33 Kirkpatrick–Seidel algorithm Convex hull Computational geometry Convex set Algorithm Analysis of algorithms Voronoi diagram Computational complexity theory Hull Geometry Convex hull algorithms Mathematics
593	A Practical Approach to Approximating the Diameter of Point-set in Low Dimensions Kumar Gaurav Bijay∗ Antoine Vigneron† Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2005-07-31 13:55:45 Analysis of algorithms Computational complexity theory Time complexity Factorial Mathematics Theoretical computer science Number theory
594	Greedy Localization, Iterative Compression and Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting and a Novel 2k Kernelization for Vertex Cover Frank Dehne1 , Mike Fellows2 , Frances Ro Add to Reading List Source URL: www.mrfellows.net Language: English - Date: 2009-08-06 03:09:48 NP-complete problems Parameterized complexity Kernelization Vertex cover Graph coloring Minimum k-cut Algorithm Independent set Greedy algorithm Theoretical computer science Mathematics Computational complexity theory
595	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-03 08:24:08 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology
596	The Circuit-Input Game, Natural Proofs, and Testing Circuits With Data∗ Brynmor Chapman† Stanford University Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2014-12-10 16:56:25 Complexity classes Circuit complexity Pseudorandomness Computability theory Advice Pseudorandom generator ACC0 Natural proof Boolean circuit Theoretical computer science Computational complexity theory Applied mathematics
597	Non-Linear Time Lower Bound for (Succinct) Quantified Boolean Formulas Ryan Williams∗ Carnegie Mellon University Abstract Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2008-04-30 19:50:48 Complexity classes True quantified Boolean formula Alternating Turing machine FO DTIME NTIME Time complexity SL Turing machine Theoretical computer science Computational complexity theory Applied mathematics
598	How to Compress Interactive Communication Boaz Barak∗ Mark Braverman† Xi Chen‡ Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2011-10-10 23:50:06 Information theory Communication Cybernetics Information Age Communication complexity Entropy Pseudorandomness Mutual information Decision tree model Theoretical computer science Applied mathematics Computational complexity theory
599	On the hardness of approximate multivariate integration Ioannis Koutis Computer Science Department Carnegie Mellon University Pittsburgh, PAUSA Add to Reading List Source URL: ccom.uprrp.edu Language: English - Date: 2011-03-02 23:57:00 Analysis of algorithms Time complexity Polynomials NP Tutte polynomial Factorization of polynomials over a finite field and irreducibility tests Theoretical computer science Mathematics Computational complexity theory
600	Group Non-negative Matrix Factorization with Natural Categories for Question Retrieval in Community Question Answer Archives Guangyou Zhou, Yubo Chen, Daojian Zeng, and Jun Zhao National Laboratory of Pattern Recognition Add to Reading List Source URL: anthology.aclweb.org Language: English - Date: 2014-08-08 12:19:00 Matrix theory Numerical linear algebra Complexity classes Multivariate statistics NP Computational complexity theory Non-negative matrix factorization Learning to rank BM25 Algebra Mathematics Linear algebra

UPDATE